-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
161	PDF Document Add to Reading List Source URL: agi-conf.org Language: English - Date: 2009-05-19 04:45:33 Type theory Computability theory Functions and mappings Recursion Lambda calculus Administrative normal form Type system Function Primitive recursive function Mathematics Mathematical logic Software engineering
162	PDF Document Add to Reading List Source URL: www.rotarysaluzzo.it Language: English - Date: 2010-02-06 09:58:55 Exponentials Binary operations Computability theory Functions and mappings Tetration Hyperoperation ELEMENTARY Primitive recursive function Exponentiation Mathematics Numbers Large numbers
163	PDF Document Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-01-30 15:28:37 Functions and mappings Model theory Computability theory Nonassociative algebra Principia Mathematica Primitive recursive function Function FO Constructible universe Mathematics Mathematical logic Logic
164	PDF Document Add to Reading List Source URL: www.slac.stanford.edu Language: English Theoretical computer science Functions and mappings Mathematical logic Elementary mathematics Computable function Primitive recursive function Algorithm Computability Discrete mathematics Mathematics Theory of computation Computability theory
165	PDF Document Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-30 09:55:10 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
166	PDF Document Add to Reading List Source URL: www.people.cs.uchicago.edu Language: English - Date: 2008-06-20 18:07:53 Computer science Church–Turing thesis Computable function Turing reduction Primitive recursive function Recursively enumerable set Effective method Computability Turing machine Computability theory Theoretical computer science Theory of computation
167	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-04-04 06:40:22 Deduction Proof theory Functions and mappings Logical consequence Philosophical logic Natural deduction Mathematical proof Primitive recursive function Entailment Logic Mathematics Mathematical logic
168	PDF Document Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2003-09-30 13:07:13 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
169	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-11-02 04:31:30 Computing Software engineering Theory of computation Recursion Mathematical logic Primitive recursive function Computability theory Computer programming Programming idioms
170	PDF Document Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming

UPDATE